| author | Álvaro Fernández Rojas <[email protected]> | |
| Sun, 19 Oct 2025 14:09:51 +0000 (16:09 +0200) | ||
| committer | Álvaro Fernández Rojas <[email protected]> | |
| Sun, 19 Oct 2025 14:09:51 +0000 (16:09 +0200) | ||
| commit | 6fdf7a97916207ef1de01cd9e662e6daca96516a | |
| tree | b00d1d9f557eb84165c1f0b2db22c2c784f440ca | tree | snapshot |
| parent | 60e04048a0e2f3e33651c19e62861b41be4c290f | commit | diff |
| .github/workflows/ci.yml | diff | blob | history | |
| .github/workflows/formal.yml | [new file with mode: 0644] | blob |
| .github/workflows/scripts/ci_helpers.sh | [new file with mode: 0644] | blob |